ModelInference / texada

Efficient techniques for mining LTL formulae over linear input traces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Split up traces into separate folders, add ARGS.txt

bestchai opened this issue · comments

Pretty much all in the tile; also might want to add an expected valid instantiations thing for the files.

[Issue created by carolemieux: 2014-07-22]
[Last updated on bitbucket: 2015-01-25]

[Comment created by carolemieux: 2014-08-04]
Did this for perracotta type events in c20060f