add some class names for automated testing

Author: stilscher

src/Main.re

@@ -63,7 +63,7 @@ let make = (~cil, ~goblint, ~warnings, ~meta, ~stats, ~file_loc) => {
     </div>
     <div className="col-6 d-flex flex-column h-100">
       {switch (state.display) {
-      | None => <div className="d-flex flex-column h-75 overflow-auto p-4" />
+      | None => <div className="content d-flex flex-column h-75 overflow-auto p-4" />
       | Some(f) => <Content state display=f dispatch />
       }}
       <Panel state dispatch />

src/ui/content/Content.re

@@ -8,7 +8,7 @@ let make = (~state: State.t, ~display: GvDisplay.t, ~dispatch) => {
     | _ => None
     };
 
-  <div className="d-flex flex-column h-75 p-4">
+  <div className="content d-flex flex-column h-75 p-4">
     <GvBreadcrumb display={state.display} dispatch />
     {switch display {
     | File(file) =>

src/ui/panel/Panel.re

@@ -41,7 +41,7 @@ let make = (~state, ~dispatch) => {
   let locations = (state.goblint)#dead_locations;
 
   let current = state.selected_panel;
-  <div className="d-flex flex-column border-right border-left h-25">
+  <div className="panel d-flex flex-column border-right border-left h-25">
     {make_nav_pills(current, dispatch)}
     <div className="tab-content overflow-auto">
       <div className="tab-pane active">

src/ui/sidebar/SidebarLeft.re

@@ -27,7 +27,7 @@ let make_tabs = (active, dispatch) => {
 
 [@react.component]
 let make = (~active, ~dispatch, ~search, ~cil) => {
-  <div>
+  <div className="sidebar-left">
     {make_tabs(active, dispatch)}
     <div className="tab-content">
       <div className="tab-pane active">

src/ui/sidebar/SidebarRight.re

@@ -27,7 +27,7 @@ let make_nav = (active, dispatch) => {
 
 [@react.component]
 let make = (~active, ~goblint, ~inspect, ~dispatch) => {
-  <>
+  <div className="sidebar-right">
     {make_nav(active, dispatch)}
     <div className="tab-content">
       <div className="tab-pane active">
@@ -38,5 +38,5 @@ let make = (~active, ~goblint, ~inspect, ~dispatch) => {
          }}
       </div>
     </div>
-  </>;
+  </div>;
 };