Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[tvla] Make filter_traces cfg optional
As not all tvla config files use the `filter_traces` entry yet, this PR makes the entry optional. Signed-off-by: Pascal Nasahl <[email protected]>
- Loading branch information