... | ... | @@ -472,3 +472,49 @@ int main() |
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example-foo-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example-foo-no-merge-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example-foo.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example-foo-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example-foo-filtered.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example-foo-filtered-highres.svg)
|
|
|
|
|
|
|
|
|
# A function call with parameters
|
|
|
|
|
|
```c
|
|
|
int foo(bool on)
|
|
|
{
|
|
|
if( on )
|
|
|
{
|
|
|
LED1.switchOn();
|
|
|
}
|
|
|
else
|
|
|
{
|
|
|
LED1.switchOff();
|
|
|
}
|
|
|
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
int main()
|
|
|
{
|
|
|
foo(true);
|
|
|
|
|
|
|
|
|
LED2.switchOn();
|
|
|
|
|
|
|
|
|
|
|
|
foo(false);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LED2.switchOff();
|
|
|
return 0;
|
|
|
}
|
|
|
```
|
|
|
|
|
|
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-main-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-main-no-merge-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-main-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-main-filtered.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-main-filtered-highres.svg)
|
|
|
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-foo-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-foo-no-merge-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-foo.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-foo-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/filter-example2-foo-filtered.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/filter-example2-foo-filtered-highres.svg) |