Can't get CofoJa to work

[Sasha Naidoo]

hi :)

I setup everything but when i run the programme it doesn’t give me any errors just an output of: -15.

What could be the problem?

Thanks.
Sasha

[Sasha Naidoo]

Actually I just meant that there are no errors when I run an example when there should be pre-condition violations.

[Nhat Minh Lê]

Could be anything. What commands do you run? On what code?
Are .contracts files being produced? Are they in your classpath
alongside your .class ? Do you run with the agent enabled?

Nhat

> --
> You received this message because you are subscribed to the Google Groups
> "cofoja" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to cofoja+un...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Sasha Naidoo]

Hi,

I managed to get my normal code working but have encountered a new problem. My code doesn't seem to want to produce .contract files if there are private variables other than ones from the standard library such as double or string. I have an array list with transaction objects stored in it to model a bank account but the cofoja fails to work. Suggestions?

Thanks.

Sent from my iPhone

> You received this message because you are subscribed to a topic in the Google Groups "cofoja" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/cofoja/Mn5RQqeqR28/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to cofoja+un...@googlegroups.com.

[Sasha Naidoo]

Oh and another question, do you have any sample code for JUnit? Something that checks that the invariant error exception is thrown for example?

Sent from my iPhone