projects / smartthings-infrastructure.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f72c4e) | patch
Fixing a bug in LocationVar.groovy: to get the string value during analysis we need...
authorrtrimana <rtrimana@uci.edu>
Mon, 2 Mar 2020 22:14:55 +0000 (14:14 -0800)
committerrtrimana <rtrimana@uci.edu>
Mon, 2 Mar 2020 22:14:55 +0000 (14:14 -0800)
commitbd5fec66c5798433b7a83f557d95409e5cafce9c
tree805ddcae19ff12fbbaa8d0fb31ae2a1b68c0062atree | snapshot
parent5f72c4e3782d3f32ad5a0edd9dea8d5b1cdc87d4commit | diff
Fixing a bug in LocationVar.groovy: to get the string value during analysis we need to explicitly declare this as String, not def; Removing the manual transaction analysis from ExtractorScript.py since we already have this in the JPF ConflictTracker.java analysis.
Extractor/ExtractorScript.py diff | blob | history
Location/LocationVar.groovy diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.