ModelInference / texada

Efficient techniques for mining LTL formulae over linear input traces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Config file args give bugs when command line args don't

bestchai opened this issue · comments

On running

$ ./texada -m -f '!"topAndPop()" W x' -e 'topAndPop()' ./traces/stack/StackAr_texada.txt

in the command line, there are no errors. The same args in a config file give an error. This should be fixed. Looks to be some quote parsing problem.

[Issue created by carolemieux: 2015-08-21]

[Comment created by carolemieux: 2015-08-21]
resolved in 8b0aefdeb47e