openjml

0熱度

1回答

迭代通過與openJML

矩陣我有一類具有在特定位置的所有0和1初始化的矩陣： public class MatrixTest { /*@ spec_public @*/ int[][] griglia; //@requires true; //@ensures griglia[2][3] == 1; public MatrixTest() { griglia = ne

java matrix design-by-contract openjml 2016-05-29

---