-- 1 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 2, 2, 3, 2 */ -- 2 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 3, 3, 4, 3 */ -- 3 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 3, 7, 3 */ -- 4 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 5 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 6 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation, 3, 4, 5, 4 */ -- 7 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety+guarantee, 1, 1, 1, 1 */ -- 8 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 9 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 10 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 2, 3, 2 */ -- 11 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety+guarantee, 1, 1, 1, 0 */ -- 12 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety+guarantee, 2, 4, 2, 0 */ -- 13 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 14 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 15 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 16 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 2, 3, 3, 2 */ -- 17 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 18 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 19 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 3, 4, 3, 3 */ -- 20 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 5, 21, 13, 5 */ -- 21 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 22 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 10, 12, 7, 4 */ -- 23 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 24 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 12, 10, 7, 3 */ -- 25 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 3, 5, 4 */ -- 26 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 27 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 4, 2, 2 */