root@b50076271836:~/fMBT/examples/java-unittest# make javac mycountertestfalse.java javac MyCounter.java fmbt -ltestfalse.log testfalse.conf || true DEPRECATED END CONDITION SYNTAX. duration:1 sec New syntax is duration(1 sec) fmbt: testfalse.conf: 1 Creating model "java(mycountertestfalse)" failed. fmbt-aalc -o mycountertesttrue.java mycountertesttrue.java.aal javac mycountertesttrue.java fmbt -ltesttrue.log testtrue.conf || true DEPRECATED END CONDITION SYNTAX. duration:1 sec New syntax is duration(1 sec) fmbt: testtrue.conf: 1 Creating model "java(mycountertesttrue)" failed.
root@b50076271836:~/fMBT/examples/java-unittest# make
javac mycountertestfalse.java
javac MyCounter.java
fmbt -ltestfalse.log testfalse.conf || true
DEPRECATED END CONDITION SYNTAX. duration:1 sec
New syntax is duration(1 sec)
fmbt: testfalse.conf: 1 Creating model "java(mycountertestfalse)" failed.
fmbt-aalc -o mycountertesttrue.java mycountertesttrue.java.aal
javac mycountertesttrue.java
fmbt -ltesttrue.log testtrue.conf || true
DEPRECATED END CONDITION SYNTAX. duration:1 sec
New syntax is duration(1 sec)
fmbt: testtrue.conf: 1 Creating model "java(mycountertesttrue)" failed.