search

pettni / pdf-abstraction

Now developed in the mdp_network repository
1 stars 0 forks source link

scheck execution #1

Closed shaesaert closed 6 years ago

shaesaert commented 6 years ago

The following lines of code do not work:

    try:
        lines = sp.check_output(['./scheck2', '-s', '-d', tf.name]).splitlines()
    except Exception as ex:
        raise Exception(__name__, "Problem running %s: '%s'" % (scheck_binary, ex))

sp.check_output does not work. Changing './scheck2' to be in the search path doesn't seem to help either.

pettni commented 6 years ago

Was probably because I hadn't added binaries for mac. Can you see if it works now? I don't have a mac on hand..

You can run tests with nosetests test_mdp.py

shaesaert commented 6 years ago

It doesn't work. I also tried to compile scheck myself, both based on https://github.com/slivingston/scheck and based on http://tcs.legacy.ics.tkk.fi/users/tlatvala/scheck/ and it couldn't get it to work.

shaesaert commented 6 years ago

I am able to use the LTL-> fsa tools that is used in Cristis code, could we switch to that?

pettni commented 6 years ago

'ltl2mdp.py' and the scheck binaries are code copied from Cristi and slightly adopted for new networkx etc, so it should be possible to get it to work. What is the error you are getting? I realized I'm using python3 by the way, what are you using?

shaesaert commented 6 years ago

I am using python2.7, let me check it with python3