Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Gauthier Quesnel
irritator
Commits
83a7c542
Commit
83a7c542
authored
Nov 19, 2020
by
Gauthier Quesnel
Browse files
test: replace ut fatal error syntax
parent
f6fdc827
Pipeline
#21968
passed with stage
in 2 minutes and 31 seconds
Changes
9
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lib/benchmark/benchmark_exactitude_aqss.cpp
View file @
83a7c542
...
...
@@ -242,37 +242,37 @@ izhikevich_benchmark(double simulation_duration,
sum_d
.
default_input_coeffs
[
1
]
=
d
;
expect
(
sim
.
models
.
can_alloc
(
14
));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant3
,
sim
.
constant_models
.
get_id
(
constant3
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant
,
sim
.
constant_models
.
get_id
(
constant
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant2
,
sim
.
constant_models
.
get_id
(
constant2
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_c
,
sim
.
adder_4_models
.
get_id
(
sum_c
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_d
,
sim
.
adder_2_models
.
get_id
(
sum_d
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
cross
,
sim
.
cross_models
.
get_id
(
cross
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
cross2
,
sim
.
cross_models
.
get_id
(
cross2
))));
!
expect
(
sim
.
models
.
size
()
==
14
_ul
);
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
constant3
,
sim
.
constant_models
.
get_id
(
constant3
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
constant
,
sim
.
constant_models
.
get_id
(
constant
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
constant2
,
sim
.
constant_models
.
get_id
(
constant2
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
sum_c
,
sim
.
adder_4_models
.
get_id
(
sum_c
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
sum_d
,
sim
.
adder_2_models
.
get_id
(
sum_d
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
cross
,
sim
.
cross_models
.
get_id
(
cross
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
cross2
,
sim
.
cross_models
.
get_id
(
cross2
))))
>>
fatal
)
;
expect
(
(
sim
.
models
.
size
()
==
14
_ul
)
>>
fatal
)
;
expect
(
sim
.
connect
(
integrator_a
.
y
[
0
],
cross
.
x
[
0
])
==
irt
::
status
::
success
);
expect
(
sim
.
connect
(
constant2
.
y
[
0
],
cross
.
x
[
1
])
==
irt
::
status
::
success
);
...
...
@@ -343,7 +343,7 @@ izhikevich_benchmark(double simulation_duration,
irt
::
time
t
=
0.0
;
expect
(
irt
::
status
::
success
==
sim
.
initialize
(
t
));
!
expect
(
sim
.
sched
.
size
()
==
14
_ul
);
expect
(
sim
.
sched
.
size
()
==
14
_ul
);
do
{
irt
::
status
st
=
sim
.
run
(
t
);
...
...
lib/benchmark/benchmark_exactitude_qss1.cpp
View file @
83a7c542
...
...
@@ -287,11 +287,11 @@ izhikevich_benchmark(double simulation_duration,
irt
::
time
t
=
0.0
;
expect
(
irt
::
status
::
success
==
sim
.
initialize
(
t
));
!
expect
(
sim
.
sched
.
size
()
==
12
_ul
);
expect
(
(
sim
.
sched
.
size
()
==
12
_ul
)
>>
fatal
)
;
do
{
irt
::
status
st
=
sim
.
run
(
t
);
expect
(
st
==
irt
::
status
::
success
);
expect
(
(
st
==
irt
::
status
::
success
)
>>
fatal
)
;
}
while
(
t
<
simulation_duration
);
};
...
...
lib/benchmark/benchmark_exactitude_qss2.cpp
View file @
83a7c542
...
...
@@ -286,7 +286,7 @@ izhikevich_benchmark(double simulation_duration,
irt
::
time
t
=
0.0
;
expect
(
irt
::
status
::
success
==
sim
.
initialize
(
t
));
!
expect
(
sim
.
sched
.
size
()
==
12
_ul
);
expect
(
sim
.
sched
.
size
()
==
12
_ul
);
do
{
irt
::
status
st
=
sim
.
run
(
t
);
...
...
lib/benchmark/benchmark_timing_aqss.cpp
View file @
83a7c542
...
...
@@ -423,32 +423,32 @@ make_synapse(irt::simulation* sim,
const_syn
.
default_value
=
1.0
;
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
integrator_models
.
get_id
(
int_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
quant_pre
,
sim
->
quantifier_models
.
get_id
(
quant_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
adder_2_models
.
get_id
(
sum_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
adder_2_models
.
get_id
(
mult_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
cross_models
.
get_id
(
cross_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
integrator_models
.
get_id
(
int_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
quant_post
,
sim
->
quantifier_models
.
get_id
(
quant_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
adder_2_models
.
get_id
(
sum_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
adder_2_models
.
get_id
(
mult_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
cross_models
.
get_id
(
cross_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))));
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
integrator_models
.
get_id
(
int_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
quant_pre
,
sim
->
quantifier_models
.
get_id
(
quant_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
adder_2_models
.
get_id
(
sum_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
adder_2_models
.
get_id
(
mult_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
cross_models
.
get_id
(
cross_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
integrator_models
.
get_id
(
int_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
quant_post
,
sim
->
quantifier_models
.
get_id
(
quant_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
adder_2_models
.
get_id
(
sum_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
adder_2_models
.
get_id
(
mult_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
cross_models
.
get_id
(
cross_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))))
>>
fatal
)
;
struct
synapse
synapse_model
=
{
sim
->
adder_2_models
.
get_id
(
sum_pre
),
...
...
lib/benchmark/benchmark_timing_qss1.cpp
View file @
83a7c542
...
...
@@ -381,28 +381,39 @@ make_synapse(irt::simulation* sim,
const_syn
.
default_value
=
1.0
;
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
qss1_integrator_models
.
get_id
(
int_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
qss1_wsum_2_models
.
get_id
(
sum_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
qss1_wsum_2_models
.
get_id
(
mult_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
qss1_cross_models
.
get_id
(
cross_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
qss1_integrator_models
.
get_id
(
int_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
qss1_wsum_2_models
.
get_id
(
sum_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
qss1_wsum_2_models
.
get_id
(
mult_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
qss1_cross_models
.
get_id
(
cross_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))));
expect
((
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
qss1_integrator_models
.
get_id
(
int_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
qss1_wsum_2_models
.
get_id
(
sum_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
qss1_wsum_2_models
.
get_id
(
mult_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
qss1_cross_models
.
get_id
(
cross_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
qss1_integrator_models
.
get_id
(
int_post
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
qss1_wsum_2_models
.
get_id
(
sum_post
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
qss1_wsum_2_models
.
get_id
(
mult_post
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
qss1_cross_models
.
get_id
(
cross_post
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))))
>>
fatal
);
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))))
>>
fatal
);
struct
synapse
synapse_model
=
{
sim
->
qss1_wsum_2_models
.
get_id
(
sum_pre
),
...
...
lib/benchmark/benchmark_timing_qss2.cpp
View file @
83a7c542
...
...
@@ -381,28 +381,28 @@ make_synapse(irt::simulation* sim,
const_syn
.
default_value
=
1.0
;
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
qss2_integrator_models
.
get_id
(
int_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
qss2_wsum_2_models
.
get_id
(
sum_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
qss2_wsum_2_models
.
get_id
(
mult_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
qss2_cross_models
.
get_id
(
cross_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
qss2_integrator_models
.
get_id
(
int_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
qss2_wsum_2_models
.
get_id
(
sum_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
qss2_wsum_2_models
.
get_id
(
mult_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
qss2_cross_models
.
get_id
(
cross_post
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))));
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
int_pre
,
sim
->
qss2_integrator_models
.
get_id
(
int_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
qss2_wsum_2_models
.
get_id
(
sum_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
mult_pre
,
sim
->
qss2_wsum_2_models
.
get_id
(
mult_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
qss2_cross_models
.
get_id
(
cross_pre
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
int_post
,
sim
->
qss2_integrator_models
.
get_id
(
int_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
sum_post
,
sim
->
qss2_wsum_2_models
.
get_id
(
sum_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
mult_post
,
sim
->
qss2_wsum_2_models
.
get_id
(
mult_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
cross_post
,
sim
->
qss2_cross_models
.
get_id
(
cross_post
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))))
>>
fatal
)
;
expect
(
(
irt
::
is_success
(
sim
->
alloc
(
accumulator_syn
,
sim
->
accumulator_2_models
.
get_id
(
accumulator_syn
))))
>>
fatal
)
;
struct
synapse
synapse_model
=
{
sim
->
qss2_wsum_2_models
.
get_id
(
sum_pre
),
...
...
lib/test/auditory.cpp
View file @
83a7c542
...
...
@@ -421,13 +421,15 @@ make_synapse(irt::simulation* sim,
const_syn
.
default_value
=
1.0
;
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
adder_2_models
.
get_id
(
sum_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
cross_models
.
get_id
(
cross_pre
))));
!
expect
(
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))));
expect
((
irt
::
is_success
(
sim
->
alloc
(
sum_pre
,
sim
->
adder_2_models
.
get_id
(
sum_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
cross_pre
,
sim
->
cross_models
.
get_id
(
cross_pre
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
->
alloc
(
const_syn
,
sim
->
constant_models
.
get_id
(
const_syn
))))
>>
fatal
);
struct
synapse
synapse_model
=
{
sim
->
adder_2_models
.
get_id
(
sum_pre
),
...
...
@@ -436,7 +438,6 @@ make_synapse(irt::simulation* sim,
sim
->
constant_models
.
get_id
(
const_syn
),
};
// Connections
expect
(
sim
->
connect
(
other
,
sum_pre
.
x
[
0
])
==
irt
::
status
::
success
);
expect
(
sim
->
connect
(
other
,
cross_pre
.
x
[
2
])
==
irt
::
status
::
success
);
expect
(
sim
->
connect
(
const_syn
.
y
[
0
],
sum_pre
.
x
[
1
])
==
irt
::
status
::
success
);
...
...
lib/test/public-api.cpp
View file @
83a7c542
...
...
@@ -735,11 +735,13 @@ main()
double
c
=
0.0
;
do
{
auto
st
=
sim
.
run
(
t
);
!
expect
(
irt
::
is_success
(
st
));
expect
(
(
irt
::
is_success
(
st
))
==
true
)
;
expect
(
time_fun
.
value
==
t
*
t
);
c
++
;
}
while
(
t
<
duration
);
expect
(
c
==
2.0
*
duration
/
time_fun
.
default_sigma
-
1.0
);
const
auto
value
=
(
2.0
*
duration
/
time_fun
.
default_sigma
-
1.0
);
expect
(
c
==
value
);
};
"time_func_sin"
_test
=
[]
{
...
...
@@ -767,12 +769,12 @@ main()
expect
(
sim
.
connect
(
time_fun
.
y
[
0
],
cnt
.
x
[
0
])
==
irt
::
status
::
success
);
irt
::
time
t
{
0
};
!
expect
(
sim
.
initialize
(
t
)
==
irt
::
status
::
success
);
expect
(
sim
.
initialize
(
t
)
==
irt
::
status
::
success
);
double
c
=
0
;
do
{
auto
st
=
sim
.
run
(
t
);
!
expect
(
irt
::
is_success
(
st
));
expect
(
(
irt
::
is_success
(
st
))
>>
fatal
)
;
expect
(
time_fun
.
value
==
std
::
sin
(
2
*
pi
*
f0
*
t
));
c
++
;
}
while
(
t
<
duration
);
...
...
@@ -820,23 +822,30 @@ main()
sum_b
.
default_input_coeffs
[
0
]
=
-
1.0
;
sum_b
.
default_input_coeffs
[
1
]
=
0.1
;
expect
(
sim
.
models
.
can_alloc
(
10
));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))));
!
expect
(
sim
.
models
.
size
()
==
7
_ul
);
expect
((
sim
.
models
.
can_alloc
(
10
))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))))
>>
fatal
);
expect
((
sim
.
models
.
size
()
==
7
_ul
)
>>
fatal
);
expect
(
sim
.
connect
(
sum_a
.
y
[
0
],
integrator_a
.
x
[
1
])
==
irt
::
status
::
success
);
...
...
@@ -889,7 +898,7 @@ main()
irt
::
time
t
=
0.0
;
expect
(
sim
.
initialize
(
t
)
==
irt
::
status
::
success
);
!
expect
(
sim
.
sched
.
size
()
==
7
_ul
);
expect
(
(
sim
.
sched
.
size
()
==
7
_ul
)
>>
fatal
)
;
do
{
auto
st
=
sim
.
run
(
t
);
...
...
@@ -970,38 +979,52 @@ main()
sum_d
.
default_input_coeffs
[
1
]
=
d
;
expect
(
sim
.
models
.
can_alloc
(
14
));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant3
,
sim
.
constant_models
.
get_id
(
constant3
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant
,
sim
.
constant_models
.
get_id
(
constant
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
constant2
,
sim
.
constant_models
.
get_id
(
constant2
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_c
,
sim
.
adder_4_models
.
get_id
(
sum_c
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_d
,
sim
.
adder_2_models
.
get_id
(
sum_d
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
cross
,
sim
.
cross_models
.
get_id
(
cross
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
cross2
,
sim
.
cross_models
.
get_id
(
cross2
))));
!
expect
(
sim
.
models
.
size
()
==
14
_ul
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
constant3
,
sim
.
constant_models
.
get_id
(
constant3
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
constant
,
sim
.
constant_models
.
get_id
(
constant
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
constant2
,
sim
.
constant_models
.
get_id
(
constant2
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
adder_2_models
.
get_id
(
sum_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
adder_2_models
.
get_id
(
sum_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_c
,
sim
.
adder_4_models
.
get_id
(
sum_c
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_d
,
sim
.
adder_2_models
.
get_id
(
sum_d
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
mult_2_models
.
get_id
(
product
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
integrator_models
.
get_id
(
integrator_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
integrator_models
.
get_id
(
integrator_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
quantifier_a
,
sim
.
quantifier_models
.
get_id
(
quantifier_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
quantifier_b
,
sim
.
quantifier_models
.
get_id
(
quantifier_b
))))
>>
fatal
);
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
cross
,
sim
.
cross_models
.
get_id
(
cross
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
cross2
,
sim
.
cross_models
.
get_id
(
cross2
))))
>>
fatal
);
expect
((
sim
.
models
.
size
()
==
14
_ul
)
>>
fatal
);
expect
(
sim
.
connect
(
integrator_a
.
y
[
0
],
cross
.
x
[
0
])
==
irt
::
status
::
success
);
...
...
@@ -1075,7 +1098,7 @@ main()
irt
::
time
t
=
0.0
;
expect
(
irt
::
status
::
success
==
sim
.
initialize
(
t
));
!
expect
(
sim
.
sched
.
size
()
==
14
_ul
);
expect
(
(
sim
.
sched
.
size
()
==
14
_ul
)
>>
fatal
)
;
do
{
irt
::
status
st
=
sim
.
run
(
t
);
...
...
@@ -1110,18 +1133,25 @@ main()
sum_b
.
default_input_coeffs
[
1
]
=
0.1
;
expect
(
sim
.
models
.
can_alloc
(
10
));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
qss1_wsum_2_models
.
get_id
(
sum_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
qss1_wsum_2_models
.
get_id
(
sum_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
qss1_multiplier_models
.
get_id
(
product
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
qss1_integrator_models
.
get_id
(
integrator_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
qss1_integrator_models
.
get_id
(
integrator_b
))));
!
expect
(
sim
.
models
.
size
()
==
5
_ul
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
qss1_wsum_2_models
.
get_id
(
sum_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
qss1_wsum_2_models
.
get_id
(
sum_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
qss1_multiplier_models
.
get_id
(
product
))))
>>
fatal
);
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
qss1_integrator_models
.
get_id
(
integrator_a
))))
>>
fatal
);
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
qss1_integrator_models
.
get_id
(
integrator_b
))))
>>
fatal
);
expect
((
sim
.
models
.
size
()
==
5
_ul
)
>>
fatal
);
expect
(
sim
.
connect
(
sum_a
.
y
[
0
],
integrator_a
.
x
[
0
])
==
irt
::
status
::
success
);
...
...
@@ -1165,7 +1195,7 @@ main()
irt
::
time
t
=
0.0
;
expect
(
sim
.
initialize
(
t
)
==
irt
::
status
::
success
);
!
expect
(
sim
.
sched
.
size
()
==
5
_ul
);
expect
(
(
sim
.
sched
.
size
()
==
5
_ul
)
>>
fatal
)
;
do
{
auto
st
=
sim
.
run
(
t
);
...
...
@@ -1200,18 +1230,25 @@ main()
sum_b
.
default_input_coeffs
[
1
]
=
0.1
;
expect
(
sim
.
models
.
can_alloc
(
10
));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
qss2_wsum_2_models
.
get_id
(
sum_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
qss2_wsum_2_models
.
get_id
(
sum_b
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
qss2_multiplier_models
.
get_id
(
product
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
qss2_integrator_models
.
get_id
(
integrator_a
))));
!
expect
(
irt
::
is_success
(
sim
.
alloc
(
integrator_b
,
sim
.
qss2_integrator_models
.
get_id
(
integrator_b
))));
!
expect
(
sim
.
models
.
size
()
==
5
_ul
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_a
,
sim
.
qss2_wsum_2_models
.
get_id
(
sum_a
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
sum_b
,
sim
.
qss2_wsum_2_models
.
get_id
(
sum_b
))))
>>
fatal
);
expect
((
irt
::
is_success
(
sim
.
alloc
(
product
,
sim
.
qss2_multiplier_models
.
get_id
(
product
))))
>>
fatal
);
expect
(
(
irt
::
is_success
(
sim
.
alloc
(
integrator_a
,
sim
.
qss2_integrator_models
.
get_id
(
integrato