Merge lp:~therve/storm/fix-compile-cache into lp:storm
Proposed by
Thomas Herve
Status: | Merged |
---|---|
Merged at revision: | 409 |
Proposed branch: | lp:~therve/storm/fix-compile-cache |
Merge into: | lp:storm |
Diff against target: |
59 lines (+11/-5) 1 file modified
storm/expr.py (+11/-5) |
To merge this branch: | bzr merge lp:~therve/storm/fix-compile-cache |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jamu Kakar (community) | Approve | ||
Storm Developers | Pending | ||
Review via email: mp+75391@code.launchpad.net |
Description of the change
The problem here is that we use the same compile cache for different backends. It's likely to only happen in storm test suite, but I solved it in a generic way anyway using the compiler to identify the cache.
To post a comment you must log in.
Nice one, +1!