Closed MaxGaukler closed 4 years ago
It seems that the flowstar syntax has changed, so Hyst's output no longer works.
[exec] Test failed for 0/96 model mcs_8 with flowstar: Error (Tool) [exec] [exec] Log: [exec] Running Hyst... [exec] Using Hyst to convert model '/hyst/src/tests/integration/models/8d_motor/mcs_8.xml' for flowstar. [exec] Hyst command: java -jar /hyst/src/Hyst.jar -i /hyst/src/tests/integration/models/8d_motor/mcs_8.xml -o /hyst/src/tests/integration/result/mcs_8_flowstar.flowstar -tool flowstar '' [exec] Seconds for Hyst conversion: 3.20214986801 [exec] stderr: Error line 31: syntax error [exec] Hyst command: java -jar /hyst/src/Hyst.jar -i /hyst/src/tests/integration/models/8d_motor/mcs_8.xml -o /hyst/src/tests/integration/result/mcs_8_flowstar.flowstar -tool flowstar '' [exec] Seconds for Hyst conversion: 3.20214986801 [exec] stderr: Error line 31: syntax error
It looks like this has been fixed in @stanleybak s fork since October 2018, but I don't want to blindly merge these commits since they contain further changes beyond the syntax change: https://github.com/stanleybak/hyst/commit/c4267e1a7e342445706b01c2b2187d3a79ab07f6 https://github.com/stanleybak/hyst/commit/53a931dc4e03b9be73e7142f569e3c6555a73fe2
This issue was fixed some time ago.
It seems that the flowstar syntax has changed, so Hyst's output no longer works.
It looks like this has been fixed in @stanleybak s fork since October 2018, but I don't want to blindly merge these commits since they contain further changes beyond the syntax change: https://github.com/stanleybak/hyst/commit/c4267e1a7e342445706b01c2b2187d3a79ab07f6 https://github.com/stanleybak/hyst/commit/53a931dc4e03b9be73e7142f569e3c6555a73fe2