[ivette] Satisfying the linter

ivette/src/frama-c/plugins/eva/layout.ts

@@ -141,7 +141,6 @@ export class LayoutEngine {
       this.csRowsCounter = 1;
       this.skip = this.folded(fct);
     }
-    else {}
     if (this.skip) return;
     // --- chaining
     const q = this.chained;
@@ -179,7 +178,7 @@ export class LayoutEngine {
         const stacks = this.stacks.getStacks(...markers);
         const summary = fct ? this.stacks.getSummary(fct) : false;
         const callstacks = stacks.length;
-        const csRowsCounter = this.csRowsCounter;
+        const { csRowsCounter } = this;
         rs.push({
           key: `P:${fct}:${csRowsCounter}`,
           kind: 'probes',

ivette/src/frama-c/plugins/eva/valuetable.tsx

@@ -217,12 +217,12 @@ function TableSection(props: TableSectionProps) {
         onClick={onClick}
       />
       <Cell className="eva-fct-name">{fct}</Cell>
-      <Filler/>
+      <Filler />
       <IconButton
         icon="ITEMS.LIST"
         className="eva-probeinfo-button"
         selected={props.byCallstacks}
-        title={`Details by callstack`}
+        title="Details by callstack"
         onClick={props.onCallstackClick}
       />
     </>
@@ -296,8 +296,8 @@ function TableRow(props: TableRowProps) {
           folded={folded}
           foldable={foldable}
           onClick={() => model.setFolded(fct, !folded)}
-          byCallstacks = {byCallstacks}
-          onCallstackClick = {() => model.setByCallstacks(fct, !byCallstacks)}
+          byCallstacks={byCallstacks}
+          onCallstackClick={() => model.setByCallstacks(fct, !byCallstacks)}
         />
       </Hpack>
     );