Merge remote-tracking branch 'refs/remotes/origin/main'

nothing really changed

Ingegneria del Software/0621_6/wrong2.txt

@@ -0,0 +1,16 @@
+function next
+input Integer x;
+output Integer y;
+algorithm
+   y := 1 - x;
+end next;
+
+class System
+Integer x;
+initial equation
+x = 0;
+equation
+when sample(0, 1) then
+    x = next(pre(x));
+end when;
+end System;