 |
.. (לתיקייה המכילה) | |
I was trying to run the empty skeleton on itself, but received an error: "couldn't find method main(*) in Main". What am I doing wrong? | |
| Make sure the classpath is "lib\soot-2.4.0.jar;src\" and you enter the FULL class name i.e. "technion.cs236607.Main". |
Which property should we check with the typestate analysis? Did you mean us to implement it for the socket usage example we saw in class? | |
| You're implementation should support any type, i.e. it should work with an input typestate automata (however you may implement it). We ask that you're run examples will include one certain type so you will need to define an automata for it (it can be hard-coded). |