| commit | dee52faeb745559b52bd9edb0e9a111190fce77e | [log] [tgz] |
|---|---|---|
| author | Alberto Debiasi <adebiasi@fbk.eu> | Tue Jul 14 13:07:01 2020 +0200 |
| committer | Alberto Debiasi <adebiasi@fbk.eu> | Tue Jul 14 13:07:01 2020 +0200 |
| tree | 7c4dc6018fd8fe5121e49ecc39a24162a2efa1bf | |
| parent | beca2a695df32816cc97411f22fa5a499932451b [diff] |
Update oracles in regression test with CleanC. Change-Id: I1a088d7b666bd6c8f5d3b5e0a265d4ceda337fa5