Commit c91661de authored by Malte Heithoff's avatar Malte Heithoff
Browse files

Test

parent 2218a554
......@@ -77,6 +77,7 @@ public class LoopTest {
Resolver resolver = new Resolver(symtab, model);
resolver.resolveLoopSymbols();
// resolver.doSymbolicSolveOfLoopSymbols();
resolver.doSymbolicSolveOfSpecifications();
......
......@@ -5,7 +5,7 @@ component Oscillation {
port
out Q out1;
instance de.monticore.lang.monticar.semantics.library.differential.Integration<(-oo:d:oo)>{out1 = 3} y;
instance de.monticore.lang.monticar.semantics.library.differential.Integration<(-oo:d:oo)>{out1 = 2} y;
instance de.monticore.lang.monticar.semantics.library.differential.Integration<(-oo:d:oo)>(0) yDiff;
instance de.monticore.lang.monticar.semantics.library.arithmetic.Gain<(-oo:d:oo)>(-2/5) yDiffDiff;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment