File "./output/Qf_deprecated.v", line 10, characters 17-18:
Warning: Reference x is deprecated. Use M.y instead.
[deprecated-reference,deprecated,default]
Quickfix:
Replace File "./output/Qf_deprecated.v", line 10, characters 17-18 with M.y
File "./output/Qf_deprecated.v", line 13, characters 14-15:
Warning: Reference x is deprecated. Use M.y instead.
[deprecated-reference,deprecated,default]
Quickfix:
Replace File "./output/Qf_deprecated.v", line 13, characters 14-15 with M.y
File "./output/Qf_deprecated.v", line 25, characters 17-18:
Warning: Notation v is deprecated. Use M1.w instead.
[deprecated-syntactic-definition,deprecated,default]
Quickfix:
Replace File "./output/Qf_deprecated.v", line 25, characters 17-18 with M1.w
File "./output/Qf_deprecated.v", line 27, characters 0-69:
The command has indeed failed with message:
Attribute use not allowed
File "./output/Qf_deprecated.v", line 30, characters 22-33:
The command has indeed failed with message:
nonexisting not found.
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
