search

ModelInference / synoptic

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

IntrBy mining or checking bug #388

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Running synoptic with the following command line in revision 4b7e89cc0829:

./synoptic.sh -d /usr/bin/dot -o output/apache -r "(?)\s.+/education/courses/cse142/11wi/images/(?[^.]+).*" -m '\k' --dumpInvariants traces/ApacheLogs/short142


Will produce an error that looks like:

INFO: Refining (Splitting)... Exception in thread "main" Internal error, notify developers. Error: Could not satisfy invariants: [cse_logo IntrBy(t) home_icon, cse_logo IntrBy(t) syllabus_icon, ...


The list of invariants that could not be satisfied includes only IntrBy 
invariants which means that either the IntrBy invariants are mined incorrectly, 
or they are checked incorrectly.

Note that synoptic will be changed to stop using the IntrBy invariant by 
default, so reproduce the bug using the revision specified above.

Original issue reported on code.google.com by bestchai on 8 Oct 2014 at 5:11

GoogleCodeExporter commented 9 years ago

Original comment by bobyan...@gmail.com on 8 Oct 2014 at 11:25