search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Create a README #15

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

Document how to "activate" the JPF shell itself (in ~/.jpf/site.properties) and how to add the ErrorTracePanel to the JPF shell configuration.

You can use one of the given examples in JPF. It is important that the target system runs outside the jpf-visual project, so a user can see how to configure jpf-visual for their own code.

qiyitang71 commented 7 years ago

Original comment by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

Mostly done, will need updating later, though.