From d857da1e670359b2a5b9166ce8c3428bb20adc10 Mon Sep 17 00:00:00 2001 From: Brian Busemeyer Date: Mon, 30 Sep 2019 15:03:51 -0400 Subject: [PATCH] Patch for JSON output for runs with multiple labels. --- src/properties/gosling.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/properties/gosling.cpp b/src/properties/gosling.cpp index f7fd002d..a49a7390 100644 --- a/src/properties/gosling.cpp +++ b/src/properties/gosling.cpp @@ -325,12 +325,18 @@ int main(int argc, char ** argv) { if(nfiles < 2) { if(options.json){ + if(lab==0) + cout<<"["<