Search results

Is function "view generated cocospec" deprecated? What was it used for?

Status: Open.

#15 In coco-team/cocoSim2;

· marious123g opened on Nov 15, 2021

[Verification]java exception occurred

Status: Open.

#14 In coco-team/cocoSim2;

· marious123g opened on Nov 13, 2021

Error using displayVerificationResults>initializeVerificationVisualization (line 57)

Status: Open.

#12 In coco-team/cocoSim2;

· hbourbouh opened on Nov 12, 2018

error in displayVerificationResults

Status: Open.

#11 In coco-team/cocoSim2;

· hbourbouh opened on Nov 12, 2018

If the model has been modified by the user. The verification result should not be used.

Status: Open.

#10 In coco-team/cocoSim2;

· hbourbouh opened on Nov 12, 2018

Validator Callback

Status: Open.

#5 In coco-team/cocoSim2;

· hbourbouh opened on Jun 13, 2018

Assume and Ensure should not include outputs in Validator callback

Status: Open.

#4 In coco-team/cocoSim2;

· hbourbouh opened on Jun 13, 2018

Does cocoSim2 support compiler Trigonometric Function model to c

Status: Open.

#1 In coco-team/cocoSim2;

· aogrcs opened on Dec 13, 2017