[Jcontracts-users] runnig JCS

[Gabriela M. <gmo...@ld...>]

Hello,
I download JCS, but I haven't been able to work with it. I've tried to
follow the instructions in
icontract2/old-docs/Getting_Started_with_iContract.txt, but in there
mention the file 'config' and don't include how should it be structured.
Does anyone know how it looks?
There are another instructions to run JCS?

Gabriela.