You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jan 14, 2026. It is now read-only.
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.