Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merge model generation + hylaa printer #41

Merged
merged 128 commits into from
Apr 25, 2018
Merged

Merge model generation + hylaa printer #41

merged 128 commits into from
Apr 25, 2018

Conversation

stanleybak
Copy link
Contributor

This update includes my development over the last ~6 months. The main addition is model generation capability and several model generators. All include a test in doc/model_generator in addition to unit tests. There is also a printer added for the Hylaa tool.

All tests pass on my system, although I haven't run them on windows.

Stanley Bak added 30 commits June 8, 2016 14:50
added invariant checking in random point generation
d87ee59
Fixed error message if random generation fails
1c0f197
code format (comments -> 80 chars)
51030b0
added rrt printer (and reformatted code based on 100 char per line co…
6da7f05 
…mments
passed all tests (removed symbols from default pysim print)
99790a0
ran unit tests
8ffcfd4
fixed transition printing for guard to use t.guard_strings
9ed7309
fixed constant substitution in rrt printer
37cad78
added ha.variables
cfd09a5
modified integral chain generator
2b70277
Added switched osccilator generator initial implementation
45da404
updated switched oscillator generator (works now)
b64fd88
merged with master
5b35667
Added pyrrt files and hyst support
9547c94
updated printer true and false conditions (hackish)
4201ff9
added hylaa printer
63d9892
added hylaa printer support for extracting jacobian matrix from dynamics
09eb1cc
merged with master and removed pyrrtsim stuff
6d5dc8b
removed pyrrt from integration tests; hylaa printer passes unit tests
a7f9fc5
added named nav generator
2c73c95
fixed hylaa printer with linear dynamics extraction
c100fca
modified hypy to include strategies; added pysim parameters; fixed na…
ba20200 
…v gen doc
passed nav unit tests
2ceb889
cleannup on pi-init pass and strategy flow* development
1b6b7bb
updated pseudo-invariant init for cases where invariant becomes false…
514fc36 
… (numpy._bool can't use 'is False' in python arggit status)
put note in strategy and fixed pysimprinter exec bug
7e16ab6
buggfix flow* printer with strict inequalities now raises error, also…
50467e6 
… using itermax-1 for max jumps
changed flowstar printer to simplify before classification
3cce0aa
added support for nondeterminism in model builder
4deafd3
working on copy instance pass
9a5713d
@ttj
Copy link
Contributor

ttj commented Apr 29, 2017

I've started merging. All unit tests pass on my setup, but I have some Python setup errors I'll have to debug for the regression/integration tests, will try to finish over the weekend.

@ttj
made HYPYPATH to HYPY_PATH for consistency; updated sympy.mpmath impo…
bc27da8 
…rts to just mpmath, this was required on windows, not sure if this will break anything on linux, please test; all python tests passed on windows (obviously no tool calling); all integration tests pass on windows; all python_test pass; most test_gen_passes pass, but some unhandled python exception in plot.py failed due to the tools not running and generating results; some unit tests pass, but hybridize and printers tests timed out after ~10 minutes each, trying to figure out why, probably some unhandled exception from the python-java interface
@ttj
Copy link
Contributor

ttj commented May 8, 2017

some issues in tests after I got all the path issues fixed, mains are in unit tests for hybridize and printers: they run forever, probably some python task is failing and not giving control back to java; also, the test_gen_passes mostly worked, except there's an exception in plot.py where I think since none of the tools can run on windows, it fails and has unhandled exception:

        [exec] Running Drivetrain (Theta=1)
        [exec] Running Hyst...
        [exec] Using Hyst to convert generated model for pysim.
        [exec] Hyst command: java -jar C:\Users\taylo\Dropbox\Research\verivital_repos\hyst-stan\src\Hyst.jar -gen drivetrain '-theta 1 -init_points 10' -o c:\users\taylo\appdata\local\temp\pysim_0_3748096.py -tool pysim '-title "Drivetrain (Theta=1)" -xdim 0 -ydim 2'
        [exec] Seconds for Hyst conversion: 1.29500007629
        [exec] Tool script exit code: 0
        [exec] Hypy Elapsed Seconds: 2.81599998474
        [exec] Hypy Result: Success
        [exec] Finished Drivetrain (Theta=1)
        [exec] Warning: Could not find 'flowstar' on your system:
        [exec]  No file named 'flowstar' was found in any of the directories in HYPY_PATH
        [exec]  No file named 'flowstar' was found in any of the directories in PATH
        [exec] Tool 'flowstar' is not runnable.
        [exec] Warning: Could not find 'HyCreate2.8.jar' on your system:
        [exec]  No file named 'HyCreate2.8.jar' was found in any of the directories in HYPY_PATH
        [exec]  No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
        [exec] Tool 'hycreate' is not runnable.
        [exec] Warning: Could not find 'spaceex' on your system:
        [exec]  No file named 'spaceex' was found in any of the directories in HYPY_PATH
        [exec]  No file named 'spaceex' was found in any of the directories in PATH
        [exec] Tool 'spaceex' is not runnable.
        [exec] Warning: Could not find 'dReach' on your system:
        [exec]  No file named 'dReach' was found in any of the directories in HYPY_PATH
        [exec]  No file named 'dReach' was found in any of the directories in PATH
        [exec] Tool 'dreach' is not runnable.
        [exec] Running original model to produce orignal.png (~12 seconds)
        [exec] Traceback (most recent call last):
        [exec]   File "plot.py", line 40, in <module>
        [exec]     main()
        [exec]   File "plot.py", line 10, in main
        [exec]     run_without_pi()
        [exec]   File "plot.py", line 25, in run_without_pi
        [exec]     raise RuntimeError('Error:' + str(code))
        [exec] RuntimeError: Error:Error (Unsupported Dynamics)

BUILD FAILED
C:\Users\taylo\Dropbox\Research\verivital_repos\hyst-stan\src\build.xml:263: exec returned: 1```

@ttj
Copy link
Contributor

ttj commented May 8, 2017 •
edited
Loading

Ok, there were some path errors with junit, which I resolved (I added checks to see if it's in the src directory or not, as on my eclipse setup, it needed to have "src" prefixed before the base directory). I'm having 2 separate issues now, in both printers test and hybridize tests, related to python. They are probably both related to calling pysim_utils. Maybe some path is bad? I did see pysim_utils.py in src/pythonbridge.

The first is:

'Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ImportError: No module named pythonbridge.pysim_utils
'
	at com.verivital.hyst.python.PythonBridge.error(PythonBridge.java:227)
	at com.verivital.hyst.python.PythonBridge.readUntilPrompt(PythonBridge.java:515)
	at com.verivital.hyst.python.PythonBridge.sendAndWait(PythonBridge.java:594)
	at com.verivital.hyst.python.PythonBridge.send(PythonBridge.java:665)
	at com.verivital.hyst.python.PythonBridge.send(PythonBridge.java:628)
	at com.verivital.hyst.passes.complex.hybridize.HybridizeMixedTriggeredPass.simMultiGetTrajectory(HybridizeMixedTriggeredPass.java:917)
	at com.verivital.hyst.passes.complex.hybridize.HybridizeMixedTriggeredPass.advanceSimulationToPseudoInvariant(HybridizeMixedTriggeredPass.java:510)
	at com.verivital.hyst.passes.complex.hybridize.HybridizeMixedTriggeredPass.runSimulation(HybridizeMixedTriggeredPass.java:413)
	at com.verivital.hyst.passes.complex.hybridize.HybridizeMixedTriggeredPass.simulateAndConstruct(HybridizeMixedTriggeredPass.java:376)
	at com.verivital.hyst.passes.complex.hybridize.HybridizeMixedTriggeredPass.runPass(HybridizeMixedTriggeredPass.java:207)
	at com.verivital.hyst.passes.TransformationPass.runPass(TransformationPass.java:159)
	at com.verivital.hyst.passes.TransformationPass.runVanillaPass(TransformationPass.java:106)
	at com.verivital.hyst.passes.TransformationPass.runTransformationPass(TransformationPass.java:74)
	at com.verivital.hyst.junit.HybridizePassTests.testNoErrorModesPrint(HybridizePassTests.java:840)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:86)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:459)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:678)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:382)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:192)

The second is:

com.verivital.hyst.ir.AutomatonExportException: send() called but process is not running (was open() called?)
	at com.verivital.hyst.python.PythonBridge.error(PythonBridge.java:227)
	at com.verivital.hyst.python.PythonBridge.send(PythonBridge.java:656)
	at com.verivital.hyst.python.PythonBridge.sendWithTrailingNewline(PythonBridge.java:648)
	at com.verivital.hyst.python.PythonUtil.scipyOptimize(PythonUtil.java:71)
	at com.verivital.hyst.junit.HybridizePassTests.sciPyOptimize(HybridizePassTests.java:584)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:86)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:459)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:678)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:382)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:192)

@stanleybak
Copy link
Contributor Author

stanleybak commented May 8, 2017 via email

@ttj
Copy link
Contributor

ttj commented May 8, 2017 via email

@stanleybak
Copy link
Contributor Author

stanleybak commented May 8, 2017 via email

@stanleybak
Copy link
Contributor Author

I reverted to HYPY path and added conditional imports for the interval math in python in case it fails on windows/linux. I don't see the conditional model import in the unit test models yet; could you commit that?

@ttj
Copy link
Contributor

ttj commented May 17, 2017

so, still having the same problems. Not really sure what to try next since the paths seem ok... Any suggestions?

@stanleybak
Copy link
Contributor Author

If I remember correctly, the problem you had was that the hybridization tests seem to freeze. Please correct me if that's not the current problem. You should try to run a single test at a time. For example, in eclipse you can go to the function defining the test such as testCheckHyperPlane and do run as junit test. If that freezes (or if once you identify the test that seems to freeze), add Hyst.debugMode = true; at the top of the test. This should print lots of debug information to the console. Copy and paste the output here, and we can figure out where it's getting stuck.

@ttj ttj merged commit 0188e15 into verivital:master Apr 25, 2018
@ttj
Copy link
Contributor

ttj commented Apr 25, 2018

Finally getting back to this.

I had some issues in setting everything up from scratch.

In run_tests.py, it seems the constant from hybridpy.hybrid_tool import get_script_path referring to get_script_path is undefined. This was due to PYTHONPATH not including hybridpy. This was resolved (on Windows) via:

set PYTHONPATH=C:\Users\taylo\Desktop\hyst-pull\hyst\src\hybridpy

After this, I got an error from Hypy:

Warning: Could not find 'Hyst.jar' on your system: Environment variable HYPYPATH was not set. No file named 'Hyst.jar' was found in any of the directories in PATH Traceback (most recent call last): File "run_tests.py", line 186, in <module> main() File "run_tests.py", line 175, in main if parallel_run(files): File "run_tests.py", line 114, in parallel_run results = [run_single(i) for i in file_tool_iter(file_list, quit_flag)] File "run_tests.py", line 64, in run_single result = e.run(run_tool=SHOULD_RUN_TOOLS, timeout=to, save_stdout=True, image_path=base + ".png") File "C:\Users\taylo\Desktop\hyst-pull\hyst\src\hybridpy\hybridpy\hypy.py", line 273, in run rv['code'] = self._run_hyst(hypy_out, hyst_out) File "C:\Users\taylo\Desktop\hyst-pull\hyst\src\hybridpy\hybridpy\hypy.py", line 159, in _run_hyst raise RuntimeError('Hyst not found. Did you add the directory with Hyst.jar to HYPYPATH?') RuntimeError: Hyst not found. Did you add the directory with Hyst.jar to HYPYPATH?

This was resolved (on windows) via:

set HYPYPATH=C:\Users\taylo\Desktop\hyst-pull\hyst\src

The directories above are the current local clone of this pull request. After both of the above, reloading Eclipse is required or it doesn't get the new path variable updates (checked in commandline first calling python run_tests.py), and these commandline updates must be done in an adminstrative role console, or via the Windows path variables update GUI.

After doing this, HybridizePathTests, which relies on hypy, seemed to hang, probably due to missing some Python dependency.

All that said, all other junit tests passed when disabling hypy integration, and run_tests.py for integration tests passed, so I'm going to merge this to get the main line back on track.

Additionally, separately running test_gen_passes.py via ANT in Elcipse also was mostly successful.

Integration test log:
`C:\Users\taylo\Desktop\hyst-pull\hyst\src\tests\integration>python run_tests.py
Warning: Could not find 'flowstar' on your system:
No file named 'flowstar' was found in any of the directories in HYPYPATH
No file named 'flowstar' was found in any of the directories in PATH
Tool 'flowstar' is not runnable.
Warning: Could not find 'HyCreate2.8.jar' on your system:
No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH
No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
Tool 'hycreate' is not runnable.
Warning: Could not find 'spaceex' on your system:
No file named 'spaceex' was found in any of the directories in HYPYPATH
No file named 'spaceex' was found in any of the directories in PATH
Tool 'spaceex' is not runnable.
Warning: Could not find 'dReach' on your system:
No file named 'dReach' was found in any of the directories in HYPYPATH
No file named 'dReach' was found in any of the directories in PATH
Tool 'dreach' is not runnable.
Script results (plots / model files / work dirs) will be saved to: C:\Users\taylo\Desktop\hyst-pull\hyst\src\tests\integration/result
Warning: flowstar is not runnable. Tool will be skipped.
Warning: dreach is not runnable. Tool will be skipped.
Warning: spaceex is not runnable. Tool will be skipped.
Warning: hycreate is not runnable. Tool will be skipped.
Warning: Could not find 'flowstar' on your system:
No file named 'flowstar' was found in any of the directories in HYPYPATH
No file named 'flowstar' was found in any of the directories in PATH
Tool 'flowstar' is not runnable.
Warning: Could not find 'HyCreate2.8.jar' on your system:
No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH
No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
Tool 'hycreate' is not runnable.
Warning: Could not find 'spaceex' on your system:
No file named 'spaceex' was found in any of the directories in HYPYPATH
No file named 'spaceex' was found in any of the directories in PATH
Tool 'spaceex' is not runnable.
Warning: Could not find 'dReach' on your system:
No file named 'dReach' was found in any of the directories in HYPYPATH
No file named 'dReach' was found in any of the directories in PATH
Tool 'dreach' is not runnable.
Using single-threaded tests
0/96 Running mcs_8 with flowstar and timeout 2.0
0/96 Finished mcs_8 with flowstar
1/96 Running mcs_8 with hylaa and timeout 2.0
1/96 Finished mcs_8 with hylaa
2/96 Running mcs_8 with dreach and timeout 2.0
2/96 Finished mcs_8 with dreach
3/96 Running mcs_8 with spaceex and timeout 2.0
3/96 Finished mcs_8 with spaceex
4/96 Running mcs_8 with hycreate and timeout 2.0
4/96 Finished mcs_8 with hycreate
5/96 Running mcs_8 with pysim and timeout 2.0
5/96 Finished mcs_8 with pysim
6/96 Running biology7d with flowstar and timeout 2.0
6/96 Finished biology7d with flowstar
7/96 Running biology9d with flowstar and timeout 2.0
7/96 Finished biology9d with flowstar
8/96 Running brusselator with flowstar and timeout 2.0
8/96 Finished brusselator with flowstar
9/96 Running cont_approx with flowstar and timeout 2.0
9/96 Finished cont_approx with flowstar
10/96 Running coupled_vanderpol with flowstar and timeout 2.0
10/96 Finished coupled_vanderpol with flowstar
11/96 Running heaterLygeros with flowstar and timeout 2.0
11/96 Finished heaterLygeros with flowstar
12/96 Running hybridized_phaver with flowstar and timeout 2.0
12/96 Finished hybridized_phaver with flowstar
13/96 Running hybridized_stc with flowstar and timeout 2.0
13/96 Finished hybridized_stc with flowstar
14/96 Running lorenz with flowstar and timeout 2.0
14/96 Finished lorenz with flowstar
15/96 Running pd_lut_linear with flowstar and timeout 2.0
15/96 Finished pd_lut_linear with flowstar
16/96 Running neuron with flowstar and timeout 2.0
16/96 Finished neuron with flowstar
17/96 Running pll_converted with flowstar and timeout 2.0
17/96 Finished pll_converted with flowstar
18/96 Running stable_3d with flowstar and timeout 2.0
18/96 Finished stable_3d with flowstar
19/96 Running vanderpol with flowstar and timeout 2.0
19/96 Finished vanderpol with flowstar
20/96 Running yaw_damper with flowstar and timeout 2.0
20/96 Finished yaw_damper with flowstar
21/96 Running biology7d with hylaa and timeout 2.0
21/96 Finished biology7d with hylaa
22/96 Running biology9d with hylaa and timeout 2.0
22/96 Finished biology9d with hylaa
23/96 Running brusselator with hylaa and timeout 2.0
23/96 Finished brusselator with hylaa
24/96 Running cont_approx with hylaa and timeout 2.0
24/96 Finished cont_approx with hylaa
25/96 Running coupled_vanderpol with hylaa and timeout 2.0
25/96 Finished coupled_vanderpol with hylaa
26/96 Running heaterLygeros with hylaa and timeout 2.0
26/96 Finished heaterLygeros with hylaa
27/96 Running hybridized_phaver with hylaa and timeout 2.0
27/96 Finished hybridized_phaver with hylaa
28/96 Running hybridized_stc with hylaa and timeout 2.0
28/96 Finished hybridized_stc with hylaa
29/96 Running lorenz with hylaa and timeout 2.0
29/96 Finished lorenz with hylaa
30/96 Running pd_lut_linear with hylaa and timeout 2.0
30/96 Finished pd_lut_linear with hylaa
31/96 Running neuron with hylaa and timeout 2.0
31/96 Finished neuron with hylaa
32/96 Running pll_converted with hylaa and timeout 2.0
32/96 Finished pll_converted with hylaa
33/96 Running stable_3d with hylaa and timeout 2.0
33/96 Finished stable_3d with hylaa
34/96 Running vanderpol with hylaa and timeout 2.0
34/96 Finished vanderpol with hylaa
35/96 Running yaw_damper with hylaa and timeout 2.0
35/96 Finished yaw_damper with hylaa
36/96 Running biology7d with dreach and timeout 2.0
36/96 Finished biology7d with dreach
37/96 Running biology9d with dreach and timeout 2.0
37/96 Finished biology9d with dreach
38/96 Running brusselator with dreach and timeout 2.0
38/96 Finished brusselator with dreach
39/96 Running cont_approx with dreach and timeout 2.0
39/96 Finished cont_approx with dreach
40/96 Running coupled_vanderpol with dreach and timeout 2.0
40/96 Finished coupled_vanderpol with dreach
41/96 Running heaterLygeros with dreach and timeout 2.0
41/96 Finished heaterLygeros with dreach
42/96 Running hybridized_phaver with dreach and timeout 2.0
42/96 Finished hybridized_phaver with dreach
43/96 Running hybridized_stc with dreach and timeout 2.0
43/96 Finished hybridized_stc with dreach
44/96 Running lorenz with dreach and timeout 2.0
44/96 Finished lorenz with dreach
45/96 Running pd_lut_linear with dreach and timeout 2.0
45/96 Finished pd_lut_linear with dreach
46/96 Running neuron with dreach and timeout 2.0
46/96 Finished neuron with dreach
47/96 Running pll_converted with dreach and timeout 2.0
47/96 Finished pll_converted with dreach
48/96 Running stable_3d with dreach and timeout 2.0
48/96 Finished stable_3d with dreach
49/96 Running vanderpol with dreach and timeout 2.0
49/96 Finished vanderpol with dreach
50/96 Running yaw_damper with dreach and timeout 2.0
50/96 Finished yaw_damper with dreach
51/96 Running biology7d with spaceex and timeout 2.0
51/96 Finished biology7d with spaceex
52/96 Running biology9d with spaceex and timeout 2.0
52/96 Finished biology9d with spaceex
53/96 Running brusselator with spaceex and timeout 2.0
53/96 Finished brusselator with spaceex
54/96 Running cont_approx with spaceex and timeout 2.0
54/96 Finished cont_approx with spaceex
55/96 Running coupled_vanderpol with spaceex and timeout 2.0
55/96 Finished coupled_vanderpol with spaceex
56/96 Running heaterLygeros with spaceex and timeout 2.0
56/96 Finished heaterLygeros with spaceex
57/96 Running hybridized_phaver with spaceex and timeout 2.0
57/96 Finished hybridized_phaver with spaceex
58/96 Running hybridized_stc with spaceex and timeout 2.0
58/96 Finished hybridized_stc with spaceex
59/96 Running lorenz with spaceex and timeout 2.0
59/96 Finished lorenz with spaceex
60/96 Running pd_lut_linear with spaceex and timeout 2.0
60/96 Finished pd_lut_linear with spaceex
61/96 Running neuron with spaceex and timeout 2.0
61/96 Finished neuron with spaceex
62/96 Running pll_converted with spaceex and timeout 2.0
62/96 Finished pll_converted with spaceex
63/96 Running stable_3d with spaceex and timeout 2.0
63/96 Finished stable_3d with spaceex
64/96 Running vanderpol with spaceex and timeout 2.0
64/96 Finished vanderpol with spaceex
65/96 Running yaw_damper with spaceex and timeout 2.0
65/96 Finished yaw_damper with spaceex
66/96 Running biology7d with hycreate and timeout 2.0
66/96 Finished biology7d with hycreate
67/96 Running biology9d with hycreate and timeout 2.0
67/96 Finished biology9d with hycreate
68/96 Running brusselator with hycreate and timeout 2.0
68/96 Finished brusselator with hycreate
69/96 Running cont_approx with hycreate and timeout 2.0
69/96 Finished cont_approx with hycreate
70/96 Running coupled_vanderpol with hycreate and timeout 2.0
70/96 Finished coupled_vanderpol with hycreate
71/96 Running heaterLygeros with hycreate and timeout 2.0
71/96 Finished heaterLygeros with hycreate
72/96 Running hybridized_phaver with hycreate and timeout 2.0
72/96 Finished hybridized_phaver with hycreate
73/96 Running hybridized_stc with hycreate and timeout 2.0
73/96 Finished hybridized_stc with hycreate
74/96 Running lorenz with hycreate and timeout 2.0
74/96 Finished lorenz with hycreate
75/96 Running pd_lut_linear with hycreate and timeout 2.0
75/96 Finished pd_lut_linear with hycreate
76/96 Running neuron with hycreate and timeout 2.0
76/96 Finished neuron with hycreate
77/96 Running pll_converted with hycreate and timeout 2.0
77/96 Finished pll_converted with hycreate
78/96 Running stable_3d with hycreate and timeout 2.0
78/96 Finished stable_3d with hycreate
79/96 Running vanderpol with hycreate and timeout 2.0
79/96 Finished vanderpol with hycreate
80/96 Running yaw_damper with hycreate and timeout 2.0
80/96 Finished yaw_damper with hycreate
81/96 Running biology7d with pysim and timeout 2.0
81/96 Finished biology7d with pysim
82/96 Running biology9d with pysim and timeout 2.0
82/96 Finished biology9d with pysim
83/96 Running brusselator with pysim and timeout 2.0
83/96 Finished brusselator with pysim
84/96 Running cont_approx with pysim and timeout 2.0
84/96 Finished cont_approx with pysim
85/96 Running coupled_vanderpol with pysim and timeout 2.0
85/96 Finished coupled_vanderpol with pysim
86/96 Running heaterLygeros with pysim and timeout 2.0
86/96 Finished heaterLygeros with pysim
87/96 Running hybridized_phaver with pysim and timeout 2.0
87/96 Finished hybridized_phaver with pysim
88/96 Running hybridized_stc with pysim and timeout 2.0
88/96 Finished hybridized_stc with pysim
89/96 Running lorenz with pysim and timeout 2.0
89/96 Finished lorenz with pysim
90/96 Running pd_lut_linear with pysim and timeout 2.0
90/96 Finished pd_lut_linear with pysim
91/96 Running neuron with pysim and timeout 2.0
91/96 Finished neuron with pysim
92/96 Running pll_converted with pysim and timeout 2.0
92/96 Finished pll_converted with pysim
93/96 Running stable_3d with pysim and timeout 2.0
93/96 Finished stable_3d with pysim
94/96 Running vanderpol with pysim and timeout 2.0
94/96 Finished vanderpol with pysim
95/96 Running yaw_damper with pysim and timeout 2.0
95/96 Finished yaw_damper with pysim
Integration test conversion passed, but some tools were not run.

C:\Users\taylo\Desktop\hyst-pull\hyst\src\tests\integration>`

test_gen_passes.py results (error at bottom):
`
test_gen_passes:
[echo] Running generator and transformation pass tests...
[exec] Warning: Could not find 'flowstar' on your system:
[exec] No file named 'flowstar' was found in any of the directories in HYPYPATH
[exec] No file named 'flowstar' was found in any of the directories in PATH
[exec] Tool 'flowstar' is not runnable.
[exec] Warning: Could not find 'HyCreate2.8.jar' on your system:
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
[exec] Tool 'hycreate' is not runnable.
[exec] Warning: Could not find 'spaceex' on your system:
[exec] No file named 'spaceex' was found in any of the directories in HYPYPATH
[exec] No file named 'spaceex' was found in any of the directories in PATH
[exec] Tool 'spaceex' is not runnable.
[exec] Warning: Could not find 'dReach' on your system:
[exec] No file named 'dReach' was found in any of the directories in HYPYPATH
[exec] No file named 'dReach' was found in any of the directories in PATH
[exec] Tool 'dreach' is not runnable.
[exec] Running nav_fig1b
[exec] Running Hyst...
[exec] Using Hyst to convert generated model for pysim.
[exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -gen nav '-matrix -1.2 0.1 0.1 -1.2 -i_list B 2 4 4 3 4 2 2 A -width 3 -startx 0.5 -starty 1.5 -noise 0.1' -o nav_fig1b.py -tool pysim '-corners True -legend False -rand 100 -time 5 -title nav_fig1b'
[exec] Seconds for Hyst conversion: 5.91100001335
[exec] Tool script exit code: 0
[exec] Hypy Elapsed Seconds: 15.7960000038
[exec] Hypy Result: Success
[exec] Finished nav_fig1b
[exec] Running nav_fig2a
[exec] Running Hyst...
[exec] Using Hyst to convert generated model for pysim.
[exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -gen nav '-matrix -0.8 -0.2 -0.1 -0.8 -i_list 2 4 6 6 6 2 4 7 7 4 2 4 B 3 4 2 4 6 6 6 2 A 0 0 0 -width 5 -startx 3.5 -starty 3.5 -noise 0.1' -o nav_fig2a.py -tool pysim '-corners True -legend False -rand 100 -time 10 -title nav_fig2a'
[exec] Seconds for Hyst conversion: 5.21599984169
[exec] Tool script exit code: 0
[exec] Hypy Elapsed Seconds: 21.0199999809
[exec] Hypy Result: Success
[exec] Finished nav_fig2a
[exec] Running nav_fig2b
[exec] Running Hyst...
[exec] Using Hyst to convert generated model for pysim.
[exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -gen nav '-matrix -1.2 0.1 0.2 -1.2 -i_list 4 6 6 6 4 4 A 1 1 4 4 2 1 1 4 3 0 0 B 4 3 0 0 6 6 -width 5 -startx 3.5 -starty 3.5 -noise 0.1' -o nav_fig2b.py -tool pysim '-corners True -legend False -rand 100 -time 20 -title nav_fig2b'
[exec] Seconds for Hyst conversion: 7.60099983215
[exec] Tool script exit code: 0
[exec] Hypy Elapsed Seconds: 34.1970000267
[exec] Hypy Result: Success
[exec] Finished nav_fig2b
[exec] Warning: Could not find 'flowstar' on your system:
[exec] No file named 'flowstar' was found in any of the directories in HYPYPATH
[exec] No file named 'flowstar' was found in any of the directories in PATH
[exec] Tool 'flowstar' is not runnable.
[exec] Warning: Could not find 'HyCreate2.8.jar' on your system:
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
[exec] Tool 'hycreate' is not runnable.
[exec] Warning: Could not find 'spaceex' on your system:
[exec] No file named 'spaceex' was found in any of the directories in HYPYPATH
[exec] No file named 'spaceex' was found in any of the directories in PATH
[exec] Tool 'spaceex' is not runnable.
[exec] Warning: Could not find 'dReach' on your system:
[exec] No file named 'dReach' was found in any of the directories in HYPYPATH
[exec] No file named 'dReach' was found in any of the directories in PATH
[exec] Tool 'dreach' is not runnable.
[exec] Running Drivetrain (Theta=1)
[exec] Running Hyst...
[exec] Using Hyst to convert generated model for pysim.
[exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -gen drivetrain '-theta 1 -init_points 10' -o c:\users\taylo\appdata\local\temp\pysim_0_4655818.py -tool pysim '-title "Drivetrain (Theta=1)" -xdim 0 -ydim 2'
[exec] Seconds for Hyst conversion: 6.83999991417
[exec] Tool script exit code: 0
[exec] Hypy Elapsed Seconds: 9.18300008774
[exec] Hypy Result: Success
[exec] Finished Drivetrain (Theta=1)
[exec] Warning: Could not find 'flowstar' on your system:
[exec] No file named 'flowstar' was found in any of the directories in HYPYPATH
[exec] No file named 'flowstar' was found in any of the directories in PATH
[exec] Tool 'flowstar' is not runnable.
[exec] Warning: Could not find 'HyCreate2.8.jar' on your system:
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH
[exec] No file named 'HyCreate2.8.jar' was found in any of the directories in PATH
[exec] Tool 'hycreate' is not runnable.
[exec] Warning: Could not find 'spaceex' on your system:
[exec] No file named 'spaceex' was found in any of the directories in HYPYPATH
[exec] No file named 'spaceex' was found in any of the directories in PATH
[exec] Tool 'spaceex' is not runnable.
[exec] Warning: Could not find 'dReach' on your system:
[exec] No file named 'dReach' was found in any of the directories in HYPYPATH
[exec] No file named 'dReach' was found in any of the directories in PATH
[exec] Tool 'dreach' is not runnable.
[exec] Running original model to produce orignal.png (~12 seconds)
[exec] Traceback (most recent call last):
[exec] File "plot.py", line 40, in
[exec] main()
[exec] File "plot.py", line 10, in main
[exec] run_without_pi()
[exec] File "plot.py", line 25, in run_without_pi
[exec] raise RuntimeError('Error:' + str(code))
[exec] RuntimeError: Error:Error (Unsupported Dynamics)

BUILD FAILED
C:\Users\taylo\Desktop\hyst-pull\hyst\src\build.xml:263: exec returned: 1

Total time: 2 minutes`

python_test ANT command result:
Buildfile: C:\Users\taylo\Desktop\hyst-pull\hyst\src\build.xml checkos: build-config: if_windows: if_linux: classpath: buildbin: buildjar: copyjar: run_jar_test: build: check_python: [exec] Python and required packages successfully detected. python_run_test: [echo] Python detected, running python unit tests. [exec] Warning: Could not find 'flowstar' on your system: [exec] No file named 'flowstar' was found in any of the directories in HYPYPATH [exec] No file named 'flowstar' was found in any of the directories in PATH [exec] Tool 'flowstar' is not runnable. [exec] Warning: Could not find 'HyCreate2.8.jar' on your system: [exec] No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH [exec] No file named 'HyCreate2.8.jar' was found in any of the directories in PATH [exec] Tool 'hycreate' is not runnable. [exec] Warning: Could not find 'spaceex' on your system: [exec] No file named 'spaceex' was found in any of the directories in HYPYPATH [exec] No file named 'spaceex' was found in any of the directories in PATH [exec] Tool 'spaceex' is not runnable. [exec] Warning: Could not find 'dReach' on your system: [exec] No file named 'dReach' was found in any of the directories in HYPYPATH [exec] No file named 'dReach' was found in any of the directories in PATH [exec] Tool 'dreach' is not runnable. [exec] Running Hyst... [exec] Using Hyst to convert generated model for flowstar. [exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -verbose -gen build '-vars t x -time_bound 1.0 -init on "t == 0 && x == 0" -modes on true 1 " x + [0.1, 0.2]"' -o c:\users\taylo\appdata\local\temp\flowstar_12680_7122086.flowstar -tool flowstar '' [exec] Verbose mode printing enabled. [exec] Checking preconditions for Flow* [exec] Finished converting in 112 ms [exec] Seconds for Hyst conversion: 1.31299996376 [exec] Hypy Elapsed Seconds: 1.31299996376 [exec] Hypy Result: Success [exec] ....... [exec] ---------------------------------------------------------------------- [exec] Ran 7 tests in 4.578s [exec] OK [exec] ............. [exec] ---------------------------------------------------------------------- [exec] Ran 13 tests in 7.233s [exec] OK python_message: python_test: BUILD SUCCESSFUL Total time: 22 seconds

python_run_test.py result:
Buildfile: C:\Users\taylo\Desktop\hyst-pull\hyst\src\build.xml checkos: build-config: if_windows: if_linux: classpath: buildbin: buildjar: copyjar: run_jar_test: build: check_python: [exec] Python and required packages successfully detected. python_run_test: [echo] Python detected, running python unit tests. [exec] Warning: Could not find 'flowstar' on your system: [exec] No file named 'flowstar' was found in any of the directories in HYPYPATH [exec] No file named 'flowstar' was found in any of the directories in PATH [exec] Tool 'flowstar' is not runnable. [exec] Warning: Could not find 'HyCreate2.8.jar' on your system: [exec] No file named 'HyCreate2.8.jar' was found in any of the directories in HYPYPATH [exec] No file named 'HyCreate2.8.jar' was found in any of the directories in PATH [exec] Tool 'hycreate' is not runnable. [exec] Warning: Could not find 'spaceex' on your system: [exec] No file named 'spaceex' was found in any of the directories in HYPYPATH [exec] No file named 'spaceex' was found in any of the directories in PATH [exec] Tool 'spaceex' is not runnable. [exec] Warning: Could not find 'dReach' on your system: [exec] No file named 'dReach' was found in any of the directories in HYPYPATH [exec] No file named 'dReach' was found in any of the directories in PATH [exec] Tool 'dreach' is not runnable. [exec] Running Hyst... [exec] Using Hyst to convert generated model for flowstar. [exec] Hyst command: java -jar C:\Users\taylo\Desktop\hyst-pull\hyst\src\Hyst.jar -verbose -gen build '-vars t x -time_bound 1.0 -init on "t == 0 && x == 0" -modes on true 1 " x + [0.1, 0.2]"' -o c:\users\taylo\appdata\local\temp\flowstar_12691_6894100.flowstar -tool flowstar '' [exec] Verbose mode printing enabled. [exec] Checking preconditions for Flow* [exec] Finished converting in 120 ms [exec] Seconds for Hyst conversion: 1.30200004578 [exec] Hypy Elapsed Seconds: 1.3029999733 [exec] Hypy Result: Success [exec] ....... [exec] ---------------------------------------------------------------------- [exec] Ran 7 tests in 4.638s [exec] OK [exec] ............. [exec] ---------------------------------------------------------------------- [exec] Ran 13 tests in 7.410s [exec] OK BUILD SUCCESSFUL Total time: 17 seconds

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@stanleybak @ttj