Error which running an example in the docker

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed Mohannadcse closed 4 years ago

Mohannadcse commented 4 years ago

I received the following error while running the argv example

caballa commented 4 years ago

The manifest was using old format. The manifest has been updated to current format in ce80ebb2cb6cf0ecaa09f9dbc7b55b66f2a42885

Mohannadcse commented 4 years ago

Much appreciated. Works now.