Logo

bugs

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Summary: #Dst's in stubborn reduction doesn't match with #Dst's in RG
Created: 2011-12-14 17:40
Status: Open
Category: Bug
Assigned:
Priority: 3

Program: Charlie

Version: version: v2.0.171.217 built: 2011-11-04
Description:
Error: Contradiction in the Rule Set!

The rule contradicts a previously set result. The result "Dst=9" and "Dst=13" contradicts each other. The rule "Analyzer" will not be applied. The results are not applied.

First I analyzed a Petrinet with the stubborn reduction and after that I let charlie calculate the whole Reachability Graph and get this error.

you told me the #Dst shuld be the same


Comments


<< 00009 | BugList | 00011 >>

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy