chauffeur cmd call error

[AndreiAlexandru95]

Good evening,

I am a student at University of Southampton in UK and for the past weeks I have been trying to use pthreadify.py to convert drivers into pthreaded benchmarks programs for my 3rd year project.
https://github.com/smackers/pthreadDriverBenchmarks

GitHub - smackers/pthreadDriverBenchmarks
github.com
Contribute to pthreadDriverBenchmarks development by creating an account on GitHub.

The problem is that when I call the Chauffeur in:

cmd = [myc, dfile, "-ep1=" + ep1, "-ep2=" + ep2, "-noBug=" + noBug, "--", "-w", "-I", "./Model/"]
subprocess.call(cmd).

I receive the following error:

chauffeur: Unknown command line argument '-ep1=ds1286_ioctl'. Try: '../chauffeur/build/chauffeur -help'
chauffeur: Did you mean '-p=ds1286_ioctl'?
chauffeur: Unknown command line argument '-ep2=ds1286_open'. Try: '../chauffeur/build/chauffeur -help'
chauffeur: Did you mean '-p=ds1286_open'?
chauffeur: Unknown command line argument '-noBug=true'. Try: '../chauffeur/build/chauffeur -help'
chauffeur: Did you mean '-h=true'?
Traceback (most recent call last):
File "./pthreadify.py", line 47, in
subprocess.check_call(cmd)
File "/usr/lib/python2.7/subprocess.py", line 540, in check_call
raise CalledProcessError(retcode, cmd)
subprocess.CalledProcessError: Command '['../chauffeur/build/chauffeur', 'driversuite/char/ds1286/driver.c', '-ep1=ds1286_ioctl', '-ep2=ds1286_open', '-noBug=true', '--', '-w', '-I', './Model/']' returned non-zero exit status 1

From what the error tells me, the arguments -ep1, -ep2 and -noBug are unknown to the Chauffeur. Does this mean that for running pthreadify.py you used a different Chauffeur? If so I haven't been able to find it.

The Chauffeur that I've been using is:
https://github.com/mc-imperial/chauffeur

GitHub - mc-imperial/chauffeur: Clang AST frontend for ...
github.com
chauffeur - Clang AST frontend for Linux device driver analysis

Please help me fix this problem if you have some spare time.

Kind Regards,
Andrei Alexandru