Changes

Page history
filter2 authored by Markus Klinik's avatar Markus Klinik
Show whitespace changes
Inline Side-by-side
Home.md
View page @ 5b784d98
......@@ -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)