Randoop不变量检查--@CheckRep

Randoop不变量检查–@CheckRep
我的目录结构（高亮部分是Triangle是步骤一编写的三角形类；randoop-4.1.0是官网下载的）
Randoop相关地址：
GitHub：https://randoop.github.io/randoop/
官方手册：https://randoop.github.io/randoop/manual/

操作步骤
    1. 编写要测试的类Triangle.java

import randoop.CheckRep;

public class Triangle {
    private double a;
    private double b;
    private double c;

    public Triangle() {
    }

    public void setA(double a) {
        this.a = a;
    }

    public void setB(double b) {
        this.b = b;
    }

    public void setC(double c) {
        this.c = c;
    }

    public Triangle(double a, double b, double c) {
        this.a = a;
        this.b = b;