Portfolio script as entry point of the docker file

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Portfolio script as entry point of the docker file #69

Open hajduakos opened 3 years ago

hajduakos commented 3 years ago

Since the portfolio seems to work quite well, why don't we make it as an entry point to the docker image? This way, the docker image could be called more easily (see cfa-cli in Theta).

sallaigy commented 3 years ago

I like the idea, even though I think it would make sense to implement this only after #68