Testos issues
https://pajda.fit.vutbr.cz/groups/testos/-/issues
2019-04-15T18:46:31Z
https://pajda.fit.vutbr.cz/testos/tindger/-/issues/2
JSON formát cobap <-> tindger
2019-04-15T18:46:31Z
Daniel Kraut
JSON formát cobap <-> tindger
[Nové demo](https://pajda.fit.vutbr.cz/testos/tindger/blob/master/test/demo/demo.json) obsahuje JSON:
```json
{
"paths": [
{"name": "IF -> TRUE path",
"function": "_Z3fooii",
"basicblocks": [0, 1, 3]
},
{"name...
[Nové demo](https://pajda.fit.vutbr.cz/testos/tindger/blob/master/test/demo/demo.json) obsahuje JSON:
```json
{
"paths": [
{"name": "IF -> TRUE path",
"function": "_Z3fooii",
"basicblocks": [0, 1, 3]
},
{"name": "IF -> FALSE path",
"function": "_Z3fooii",
"basicblocks": [0, 2, 3]
},
{"name": "invlaid path",
"function": "_Z3fooii",
"basicblocks": [0, 1, 2, 3]
}
]
}
```
Na konzultaci 13. 3., jsme s Alešem vytvořili:
```json
{
"function": {
"name": "jmeno funkce",
"paths": [
{
"path": [
"bb1",
"bb2",
"bb3"
],
"metadata": [],
"tag": "tag1"
},
{
"path": [
"bb1",
"bb3"
],
"metadata": [],
"tag": "tag2"
}
]
}
}
```
Mě se líbí více to druhé, kde jméno funkce je společné a pro danou funkci se vytváří cesty. Původní `"name"` (jméno cesty), může být v naznačeném objektu `"metadata"`, nebo to může souviset s `tag`em (nejsem si jistý na co má být `tag` určený).
Co ty na to?
Tomáš Sušovský
Tomáš Sušovský
https://pajda.fit.vutbr.cz/testos/combine-bcc/-/issues/6
form validation
2023-10-02T12:12:07Z
Vladimír Užík
form validation
https://pajda.fit.vutbr.cz/testos/combine-bcc/-/issues/3
export xml
2019-03-04T13:17:05Z
Aleš Smrčka
smrcka@fit.vut.cz
export xml
Vladimír Užík
Vladimír Užík
https://pajda.fit.vutbr.cz/testos/combine-bcc/-/issues/2
export json
2019-03-04T13:17:10Z
Aleš Smrčka
smrcka@fit.vut.cz
export json
Vladimír Užík
Vladimír Užík
https://pajda.fit.vutbr.cz/testos/combine-bcc/-/issues/1
export csv
2019-03-04T13:17:16Z
Aleš Smrčka
smrcka@fit.vut.cz
export csv
Vladimír Užík
Vladimír Užík
https://pajda.fit.vutbr.cz/testos/cobap/-/issues/1
konzultace
2018-12-13T13:41:54Z
Tomáš Sušovský
konzultace
poznamky pro dnesni konzultaci:
- requirements
- SEP + obhajoba (21.1.)
- memory model - primes
- moduly stav (LLVM, model, SMT)
poznamky pro dnesni konzultaci:
- requirements
- SEP + obhajoba (21.1.)
- memory model - primes
- moduly stav (LLVM, model, SMT)
2018-12-13