Aufgrund einer Wartung wird GitLab am 17.08. zwischen 8:30 und 9:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 17.08. between 8:30 and 9:00 am.

Commit 9ea86925 authored by Nicola Gatto's avatar Nicola Gatto

Fix test reward function to new CoCo check

parent 3c4ca5bc
......@@ -3,10 +3,14 @@ package cartpole.agent.reward;
component Reward {
in Q^{4} state,
in B isTerminal,
out Q reward;
implementation Math {
Q rew = state(1);
reward = rew;
if isTerminal
reward = -1;
reward = 1;
\ No newline at end of file
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