search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
81 stars 25 forks source link

NullPointerException during graph export #380

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The following command line leads to a NullPointerException in 
synoptic.model.export.GraphExporter.exportGraph(GraphExporter.java:160). The 
culprit is the -H flag (that should terminate execution after printing the long 
help output):

./synoptic.sh -c traces/abstract/osx-login-example/args.txt 
traces/abstract/osx-login-example/trace.txt -H

This command line does the same (i.e., position of -H does not matter):

./synoptic.sh -H -c traces/abstract/osx-login-example/args.txt 
traces/abstract/osx-login-example/trace.txt

This effect synoptic and perfume (i.e., same error when running perfume.sh with 
the above args).

Original issue reported on code.google.com by bestchai on 31 Jul 2014 at 5:41

GoogleCodeExporter commented 9 years ago 
Fixed in revision 633b37409959

Original comment by bestchai on 6 Aug 2014 at 10:10